step(al,bs,tm(zk,[ctxm(xi_,u,ip,ip_al_4,ip_al_4),ctxm(xi_,sp,ip,ip_bs,ip_bs)],pri(zk,[pri(lst,[pri(cred,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,idp1,kM,kM_ii,kM_ii),pri(lst,[ctxm(xi_,u,i_ii,i_al_ii,i_al_ii),ctxm(xi_,u,d_1,id_1,cd_1),ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,u,d_3,id_3,cd_3)]),ctxm(xi_,dot,n_c1_2,in_pi_n2,cn_pi_n2),ctxm(xi_,dot,n_c1_5,in_pi_n5,cn_pi_n5)]),ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,u,i_ii,i_al_ii,i_al_ii),ctxm(xi_,u,d_1,id_1,cd_1),ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,u,d_3,id_3,cd_3),ctxm(xi_,dot,n,in_xi_n,cn_xi_n),ctxm(xi_,dot,n_1_2,in_xi_n12,cn_xi_n12),ctxm(xi_,dot,n_1_1,in_xi_n11,cn_xi_n11),ctxm(xi_,dot,n_1_3,in_xi_n13,cn_xi_n13)]),pri(lst,[pri(h,[pri(lst,[ctxm(xi_,u,i,i_al,i_al),ctxm(xi_,dot,n,in_xi_n,cn_xi_n)])]),pri(h,[pri(lst,[ctxm(xi_,u,i_ii,i_al_ii,i_al_ii),ctxm(xi_,dot,n_1_2,in_xi_n12,cn_xi_n12)])]),pri(h,[pri(lst,[ctxm(xi_,u,d_2,id_2,cd_2),ctxm(xi_,dot,n_1_1,in_xi_n11,cn_xi_n11)])]),pri(h,[pri(lst,[ctxm(xi_,u,d_3,id_3,cd_3),ctxm(xi_,dot,n_1_3,in_xi_n13,cn_xi_n13)])]),
ctxm(xi_,u,d_1,id_1,cd_1),pri(pk,[ctxm(xi_,idp1,kM,kM_ii,kM_ii)]),pri(pk,[ctxm(xi_,ttp,kM,kM_ttp,kM_ttp)]),pri(aencl,[pri(lst,[ctxm(xi_,u,i_ii,i_al_ii,i_al_ii),ctxm(xi_,dot,n_v,in_x_v,cn_x_v)]),pri(pk,[ctxm(xi_,ttp,kM,kM_ttp,kM_ttp)]),ctxm(xi_,dot,cnd,i_cnd,d_cnd)]),ctxm(xi_,u,d_4,id_4,cd_4)]),ctxm(xi_,dot,n_1_a,in_xi_n1a,cn_xi_n1a),ctxm(xi_,dot,n_1_b,in_xi_n1b,cn_xi_n1b)]))).

